On the causal Barrett--Crane model: measure, coupling constant, Wick rotation, symmetries and observables

We discuss various features and details of two versions of the Barrett-Crane spin foam model of quantum gravity, first of the Spin(4)-symmetric Riemannian model and second of the SL(2,C)-symmetric Lorentzian version in which all tetrahedra are space-like. Recently, Livine and Oriti proposed to introduce a causal structure into the Lorentzian Barrett--Crane model from which one can construct a path integral that corresponds to the causal (Feynman) propagator. We show how to obtain convergent integrals for the 10j-symbols and how a dimensionless constant can be introduced into the model. We propose a `Wick rotation' which turns the rapidly oscillating complex amplitudes of the Feynman path integral into positive real and bounded weights. This construction does not yet have the status of a theorem, but it can be used as an alternative definition of the propagator and makes the causal model accessible by standard numerical simulation algorithms. In addition, we identify the local symmetries of the models and show how their four-simplex amplitudes can be re-expressed in terms of the ordinary relativistic 10j-symbols. Finally, motivated by possible numerical simulations, we express the matrix elements that are defined by the model, in terms of the continuous connection variables and determine the most general observable in the connection picture. Everything is done on a fixed two-complex.Comment: 22 pages, LaTeX 2e, 1 figur

An Invitation to Higher Gauge Theory

In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge '2-group'. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2-group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincar\'e 2-group, which leads to a spin foam model for Minkowski spacetime. Third, taking the adjoint representation of any Lie group on its own Lie algebra gives a 'tangent 2-group', which serves as a gauge 2-group in 4d BF theory, which has topological gravity as a special case. Fourth, every Lie group has an 'inner automorphism 2-group', which serves as the gauge group in 4d BF theory with cosmological constant term. Fifth, every Lie group has an 'automorphism 2-group', which plays an important role in the theory of nonabelian gerbes. And sixth, every compact simple Lie group gives a 'string 2-group'. We also touch upon higher structures such as the 'gravity 3-group' and the Lie 3-superalgebra that governs 11-dimensional supergravity.Comment: 60 pages, based on lectures at the 2nd School and Workshop on Quantum Gravity and Quantum Geometry at the 2009 Corfu Summer Institut

Asymptotics of 10j symbols

The Riemannian 10j symbols are spin networks that assign an amplitude to each 4-simplex in the Barrett-Crane model of Riemannian quantum gravity. This amplitude is a function of the areas of the 10 faces of the 4-simplex, and Barrett and Williams have shown that one contribution to its asymptotics comes from the Regge action for all non-degenerate 4-simplices with the specified face areas. However, we show numerically that the dominant contribution comes from degenerate 4-simplices. As a consequence, one can compute the asymptotics of the Riemannian 10j symbols by evaluating a `degenerate spin network', where the rotation group SO(4) is replaced by the Euclidean group of isometries of R^3. We conjecture formulas for the asymptotics of a large class of Riemannian and Lorentzian spin networks in terms of these degenerate spin networks, and check these formulas in some special cases. Among other things, this conjecture implies that the Lorentzian 10j symbols are asymptotic to 1/16 times the Riemannian ones.Comment: 25 pages LaTeX with 8 encapsulated Postscript figures. v2 has various clarifications and better page breaks. v3 is the final version, to appear in Classical and Quantum Gravity, and has a few minor corrections and additional reference

2-Vector Spaces and Groupoids

This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors between groupoids in both a covariant and contravariant way, which are ambidextrous adjoints. This is used to construct a representation--a weak functor--from Span(Gpd) (the bicategory of groupoids and spans of groupoids) into 2Vect. In this paper we prove this and give the construction in detail.Comment: 44 pages, 5 figures - v2 adds new theorem, significant changes to proofs, new sectio

Dual variables and a connection picture for the Euclidean Barrett-Crane model

The partition function of the SO(4)- or Spin(4)-symmetric Euclidean Barrett-Crane model can be understood as a sum over all quantized geometries of a given triangulation of a four-manifold. In the original formulation, the variables of the model are balanced representations of SO(4) which describe the quantized areas of the triangles. We present an exact duality transformation for the full quantum theory and reformulate the model in terms of new variables which can be understood as variables conjugate to the quantized areas. The new variables are pairs of S^3-values associated to the tetrahedra. These S^3-variables parameterize the hyperplanes spanned by the tetrahedra (locally embedded in R^4), and the fact that there is a pair of variables for each tetrahedron can be viewed as a consequence of an SO(4)-valued parallel transport along the edges dual to the tetrahedra. We reconstruct the parallel transport of which only the action of SO(4) on S^3 is physically relevant and rewrite the Barrett-Crane model as an SO(4) lattice BF-theory living on the 2-complex dual to the triangulation subject to suitable constraints whose form we derive at the quantum level. Our reformulation of the Barrett-Crane model in terms of continuous variables is suitable for the application of various analytical and numerical techniques familiar from Statistical Mechanics.Comment: 33 pages, LaTeX, combined PiCTeX/postscript figures, v2: note added, TeX error correcte

Positivity of Spin Foam Amplitudes

The amplitude for a spin foam in the Barrett-Crane model of Riemannian quantum gravity is given as a product over its vertices, edges and faces, with one factor of the Riemannian 10j symbols appearing for each vertex, and simpler factors for the edges and faces. We prove that these amplitudes are always nonnegative for closed spin foams. As a corollary, all open spin foams going between a fixed pair of spin networks have real amplitudes of the same sign. This means one can use the Metropolis algorithm to compute expectation values of observables in the Riemannian Barrett-Crane model, as in statistical mechanics, even though this theory is based on a real-time (e^{iS}) rather than imaginary-time (e^{-S}) path integral. Our proof uses the fact that when the Riemannian 10j symbols are nonzero, their sign is positive or negative depending on whether the sum of the ten spins is an integer or half-integer. For the product of 10j symbols appearing in the amplitude for a closed spin foam, these signs cancel. We conclude with some numerical evidence suggesting that the Lorentzian 10j symbols are always nonnegative, which would imply similar results for the Lorentzian Barrett-Crane model.Comment: 15 pages LaTeX. v3: Final version, with updated conclusions and other minor changes. To appear in Classical and Quantum Gravity. v4: corrects # of samples in Lorentzian tabl

Extended matter coupled to BF theory

Recently, a topological field theory of membrane-matter coupled to BF theory in arbitrary spacetime dimensions was proposed [1]. In this paper, we discuss various aspects of the four-dimensional theory. Firstly, we study classical solutions leading to an interpretation of the theory in terms of strings propagating on a flat spacetime. We also show that the general classical solutions of the theory are in one-to-one correspondence with solutions of Einstein's equations in the presence of distributional matter (cosmic strings). Secondly, we quantize the theory and present, in particular, a prescription to regularize the physical inner product of the canonical theory. We show how the resulting transition amplitudes are dual to evaluations of Feynman diagrams coupled to three-dimensional quantum gravity. Finally, we remove the regulator by proving the topological invariance of the transition amplitudes.Comment: 27 pages, 7 figure

Positivity in Lorentzian Barrett-Crane Models of Quantum Gravity

The Barrett-Crane models of Lorentzian quantum gravity are a family of spin foam models based on the Lorentz group. We show that for various choices of edge and face amplitudes, including the Perez-Rovelli normalization, the amplitude for every triangulated closed 4-manifold is a non-negative real number. Roughly speaking, this means that if one sums over triangulations, there is no interference between the different triangulations. We prove non-negativity by transforming the model into a ``dual variables'' formulation in which the amplitude for a given triangulation is expressed as an integral over three copies of hyperbolic space for each tetrahedron. Then we prove that, expressed in this way, the integrand is non-negative. In addition to implying that the amplitude is non-negative, the non-negativity of the integrand is highly significant from the point of view of numerical computations, as it allows statistical methods such as the Metropolis algorithm to be used for efficient computation of expectation values of observables.Comment: 13 page